Efficient formal reasoning about the trustworthiness of tree ensembles
- Författare
- Linköpings universitet John Törnblom
- (John Törnblom., Funding agencies: This work was partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation. Some computing resources were provided by the Swedish National Infrastructure for Computing (SNIC) and the Swedish National Supercomputer Centre (NSC)., Härtill 3 uppsatser, Diss. (sammanfattning) Linköping : Linköpings universitet, 2025)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Linköping University, Department of Computer and Information Science | 2025 | Sverige, Linköping | viii, 45 sidor illustrationer | 978-91-8118-128-9 |